Algebraische Spezifikation und Modellierung in Hoeheren Petri-Netzen mit zustandsabhaengiger Schaltregel

For the specification and modelling of complex distributed software systems formal methods are needed, which allow to describe both the complex sequential (i.e. functions on objects) and the complex parallel behaviour of the systems. Users should be guided in the application of such methods by computer tools, which beside the pure description tasks should also allow automatic analysis of the interesting behaviour of the specified systems. For the formal description of sequential behaviour of data structures one can use an abstract data type specification language. Complex parallel behaviour can be best described in the intuitive graphical formalism called petri nets. Our specification and modelling approach and the SMARAGD System (Specification, Modelling and Reachability Analysis Graphical Development System) are therefore based on a combination of abstract data type specification and petri net theory. Of the many different flavours of petri nets seemed for us a high level net formalism (like Predicate/Transition-Nets(PrT-Nets) or Colored Petri Nets) most suitable to model complex distributed systems but it showed up early in the design phase of the SMARAGD tool that such existing high level net models are for sure theoretically interesting but lack nearly all the capabilities needed for an integration of algebraic specification and petri net theory with the goal of an efficient computer based simulation and analysis of the constructed models. This thesis presents therefore a high level petri net model with a new state dependent firing rule, which preserves the theoretical interesting features of other high level net types but gives us also a much more deterministic algorithm to handle the firing rule which is needed for efficient simulation and analysis of net models. The abstract data type specification and petri net theory is tied together through special net inscriptions which are based on terms and formulas of the first order abstract data type calculus. This leeds to the notion of an SNL Net Specification. This syntactic construct is then transformed by an interpretation of the data type specifications within algebraic systems and with our new state dependent firing rule into an in the SMARAGD environment executable system model, which we call SNL system (or SNL model). SNL models can then easily be simulated and analysed within the SMARAGD environment. (orig.)Available from TIB Hannover: ZA 5141(5279) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Softwareentwicklung in einer verteilten Rechnerumgebung in Verbindung mit einer Objektverwaltung unter UNIX

SIGLECopy held by FIZ Karlsruhe; available from UB/TIB Hannover / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Entwurf eines Systems zur Erfassung und Weiterverarbeitung von Produktinformation bei der Herstellung von Mikrostrukturen

The LIGA-process (german acronym for Lithographie, Galvanik, Abformung) has been developed at the Institute for Microstructural Engineering (IMT) at the Karlsruhe Research Center for manufacture microstructures. Today, the IMT is employing the LIGA-technique to manufacture the mechanical parts of microsystems, meanwhile the technique is constantly being extended and improved. In order to obtain improved surveillance over the complex LIGA-process with its numerous process steps, it is necessary to develop a computer based framework to summarize the overall LIGA-process. This system allows the collection of all process steps with all parameters, all material information and all resources of the process. Experience made during the production of microstructures represents manufacturing knowledge. Thus it is necessary to design the framework in such a way as to allow the collection of information about manufactured products. This thesis contains the design of such a system called PRAXIS (PRoduct And EXperimentation Information System). PRAXIS offers the project managers the possibility to embed arbitrary tools into the framework that grasp and process such information and support or perform the process steps or activities. These tools use data integrated by an object-oriented database management system. (orig.)Dissertation submitted by P. WielandAvailable from TIB Hannover: ZA 5141(5597) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman

Einfuehrung in die Grundlagen der Theorie der Hoeheren Petri-Netze

SIGLEAvailable from TIB Hannover: ZA 5141(4636) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman

Intelligente Schnittstellen zur Integration von Kartendiensten in Web-basierte Informationssysteme am Beispiel des ''Themenpark Boden, Geologie und Natur''

Diploma thesis submitted by Doris SimonAvailable from TIB Hannover: ZA 5141(7009) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman